@inproceedings{dilkina:cp07,
  author    = {Bistra Dilkina and
               Carla P. Gomes and
               Ashish Sabharwal},
  title     = {Tradeoffs in the Complexity of Backdoor Detection.},
  booktitle = {Principles and Practice of Constraint Programming - CP 2007},
  year      = {2007},
  pages     = {256-270},
  address		= {Providence, RI},
}